Fix from pull request