Fixed bug that allowed duplicate keys in maps with initialization options