minor corrections after pull request