More minor doc fixes