a few quick style fixes after some browsing around