users guide: Fix a few issues