Fixed error in satisfy: parser.