Some factual corrections and some updates to the coding style