Не работает прокси в internet explorer 7,8 после изменений в Групповой политике

После добавления нескольких адресов в список локальных в Групповой Политике, браузер перестал обращаться в прокси. Добавлены записи вида:

yandex.ru/*; google.com/*

Итог:

Галочка "Использовать прокси" в настройках подключений оказывается снятой.

В чём причина:

Как оказалось, символ "/" корректно не обрабатывается.

Что делать:

Убрать все / из списка исключений прокси.