Minor updates in the documentation