#7256: Remove comment no longer valid