Fixed a syntax error (depended on PHP environment)