remove duplicate comment

This is already mentioned at line 357...