Fix typo in debug_proxy.php

High-quality improvements here.