minor corrections after merging pull request