Fixed pattern matching for Fail constructor.