Minor corrections to translation