Don't lighten into malformed formulae