Fix a few small issues with the documentation