Perform some corrections
Use a different method to typeset the version number of the book