Follow-up fix to comment.