fix case bug in refute