translating. and correcting some errors in the original in the process