Remove a comment that no longer applies (and even lint realizes it now).