Minor exit command.

I wonder what the best way to exit is...