Bug fix for your pull request