More fixes for commenting on pull requests