well-formedness fixed