Fix syntax in Travis configuration