Some documentation fixing.