typos and slightly imporving the translation