Fix a bug, document mark(), unmark()