Highlight error in TestMap3 example