Minor updates in documentation