Update version number.
Vignette formatting updates.