See line 104's comment.