[DOC] update DOX; should really be done now