PHP internal-server bugfix