Fix a pja-reported typo