Remove comment, which is now an issue

It's #443.