fix #3, a small bug in 23.scm