Small fixes in the main doc