fixed: problem with syntax in some PHP versions