just some minor style edits