Made some extremely minor corrections to the source code