Yeah that's perfectly fine. There's no recovering from this error anyway so stopping is the right thing.