Changed from semicolon to comma, to fix compilation failure