Remove extraneous ; and the resulting warning.