catch up with biocaml
core: fixed wrong tagging in history