Attempting bugfix for Travis