two minor comments on the reason why this exists here