a few tiny fixes, plus a question

what do you use to encode the divider mark?