small modifications and translations