Modify indent in 1-15.scm