Another correction for PR comments