minor
fixed: php syntax error