This change is slightly suspicious because it is in a comment.