make optlabel precise:fix
refine label (an incompatible change ~x: always interpreted label, not type, space here does not matter):fix