Minor bugfix in map_alphabet()