Bring docs hopefully into synch with the header.