Fix minor doc bugs