Fix type explanations about 'must be'in Japanese