Subtle fixes in the doc
Bump version