Fixing an off-line CR comment for my previous pull request.