Correction on iterator key type