Small parsing error?

Hi! Your blog post and code was really useful to me. But I think I found a small error. The following expression is rejected "\x. \y. z \m. o" but given the syntax, shouldn't it parse to the same tree as "(\x. (\y. (z (\m. o))))"?