Tweak the behaviour of decFA