oops, avoid badmatch