Fix a missing semi