Fixed incompatibility with some PHP versions

The convoluted syntax of line 46 didn't work with all PHP versions.