some OCD w.r.t. documentation

Some Obsessive-Compulsive Disorder-induced changes to the documentation.
Feel free to ignore the Eclipse .project file.