(Fdefine_key): Clarification of formulation.