tun has appeared several times in the lost tales as a later correction , or alternative to kor , changes no doubt dating from or anticipating the later situation where the city was tun and the name kor was restricted to the hill on which it stood .