fix PHP Syntax Error - fixes #442