I had thought that each of the targets for Execution achievements spawned randomly on a specific map. Mikael Woltorf's description says you killed him on the roof of a hospital, which I did. But now I just saw Mikael at the first 3d dungeon of Kain's Crest. So is it a bug? Or can they spawn anywhere?