Clean up Robby's formatting a bit