Fix small error that made php segfault for some reason