minor style tweaks
Whoops, forgot this one
Fixed #1, although the exact wording may be changed later