Fix some bad formatting