Fixing PHP bug.