Update xqy/modules/isbn.xqy