Correcting Travis