Corrected comment

I know, it is  superfluous :-D