avoid backward-compatibility broken introduced by #211. embed olnum attribute for automatic number instead of tweaking num attribute.