And another typo fix