Fixes to minidoc