Fix translation errors.

I really think RPython should have caught this earlier.