Add an optional parameter to Quit (fixes #21)