few small improvements#29

jimmywarting wants to merge 1 commit intoseanmorris:masterseanmorris/php-wasm:masterfrom

jimmywarting:few-improvmentsjimmywarting/php-wasm:few-improvmentsCopy head branch name to clipboard