PHP 5.3 compatibility (again (I am really bad about that))