cosmetic fixes for pull request