Fixing the inadvertent breakage with the new formatting system