Removed superfluous slashes.

This is essentially a port of php/web-php#47