style fixes according to @evansolomon's notes