bugfix for the annoying PHP 5.3 collection bug