repair a bug in EX2_3