fix a bug wrt withoutcolor option