No problem, I can make that change. empty() is slightly slower (or used to be in older versions of PHP), that's why I didn't use it.