A little refinement involving inject