minor code-style changes