Minor fixes in the readability of the source code.