Parsing errors reported by David Tanzer