See line 333 for the context of this comment.