Remove duplicated comment

The same comment is already made in the header