Update ch01.rbtex