fix the failed formatting