Further tweaks to recursive derivations