fix a bug in remove_degenerate_face