#283: Change semicolon to comma (typo)

Resolves #283.