dokusyntax bug closed