More refinement on list add