Fixed small bug with 'empty()' construct.

Probably only affects PHP 5.3.