! Typo fix

(and remerging the otherwise identical branches because Git got confused with itself, again)