Fix accidentally modified formatting.