fix minor doc problems