Changed syntax to overcome error with older PHP version.