Few formatting fixes in the documentation