fix some mistakes and omissions in documentation

...and delete an empty file