Correcting Travis options