php: fix spec