Fix a few documentation lines