End of translation. Closes #63.