fix nasty regression thanks to "cmp"