Correcting minor doc problems