武功名称已经改了，但是侠客岛没改，还是叫独孤九剑，这算一个bug吧？