Ah, now I see why the translation on Travis failed. Thank you for the comment. The newly pushed commit should have fixed it.