A reminder of the rule against penalty clauses