Fixing doc (after stable release)