Update 1.12.scm