Fix bug that led to comments not being ignored.