Add a little spaces to the PHP example