minor changes to held-karp/single