Should this have a semicolon at the end?