Hopefully fixing the travis errors