Fix to output format of AddMemoryMap.py