Remove a comment that no longer applies. Trivial.