some corrections on the Japanese translation