bugfixes related to interaction with the procedure selection widget.