Small cosmetic changes in docs