Why is there a semicolon here?