Fix for lower PHP versions. Fixes #153.