Corrections from pull request comments