Minor tweaks to IVR manager