Small formating issues and fix an entry in the docs...