Make small documentation fixes