We made a small correction on Zeno himself. I am currently uploading from a robot.