Fix for PHP BUG