Some minor style things (whitespace, sems)