Remove incorrect and redundant comment

Thanks @jvoigtlaender!