fix for nasty sempipredicate