Where did that semicolon come from?