minor cleanup after pull request