Should there be a semicolon here?