bugfix in Map by Keir Mierle
3 files changed