Maybe put this on first line of the comment (and subsequently the same in other comments)