Bugfix in Travis config