Fix typo noticed while working on the Python translation.