Fix broken intmap