fix php decoder