documentation : small fixes