Tail: fix handling of "case" in 4.01