Fix the failed formatting