Fix badmatch bugs