Tidied up a few spots of sloppy formatting.