Fix bad formatting