Minor correction to a comment [ci skip].