Fix a typo spotted when working on PDF version