Bugfix for PHP 5.3
Fixing Coding Style