Slight refinement for k > 2.