Fixing documentation for release