More documentation fixing