Fix bug in PHP serve function.