fix compat with PHP 5.3
Simplify, style.