-workaround for ddoc bug