fix parsing of ---- +++++ ***** in CoqIDE