small modifications to the documentation