minor changes after merging pull request