fixes #13: character '|' map failed.