Just remove this line; we don't do this for other formulae.