ext_programme: Tweaks