Minor change in Travis config