Correcting Travis errors