Improved doc by Patrick and formatting fixes.