Remove outdated comment

Maybe there should be a comment here, but this is not it.