fix arity mismatch for ls_down