Well formedness missed before