Some documentation small improvements