Fixing PHP error, per #34.