fix badmatch again