Fix some minor doc problems