Fix another typo (will lead to an improved error message).