Minor corrections to translations