minor updates in the documentation