Fixing non-refute function