End of translation (I hope so)