Try to fix a bug in Travis