That was clearly one of those paper cut type of fixes that makes the world a tiny bit nicer.