bugfix for bug referenced in pull request