bug in MarkingTool fixed