Style fixes; bug fixes in documentation generator
Raise the version
More doc fixes