Various minor doc fixes