Remove now-outdated comment