fixed documentation builder due to bug fix in markdox 0.1.3