Tiny style fixes, only pushing because Github has swallowed one of my commits :/