minor code-style fixes