minor coding style edits