I wouldn't want to disallow translation, but in this case it was unnecessary anyway.