a little cleanup after merging pull request