Small documenation fixes