More minor doc fixes for clean CMD CHECK