[choreonoid] Cosmetic change