Update xanadu.scm