Fixed prog2-worthy typo