Some small improvements on proxy.php