doc fixes

Some minor doc fixes.