Typo

Fix another, arguably more serious, typo.