Fix a typo in HTTP servers appendix for command to start PHP builtin HTTP server (thanks @CircleCode).