Minor correction of semicolon to comma