fixes to proxy.php