Maybe repeat that comment here from a few lines up. Ditto for the similar code below.