Clarify formulation (proposed by Bodo Moeller).