Re-typeset part of the quit function. Functionality was actually fixed in 7a47e59cc47b98d1fe1b37d1f7c33e609afc6b4e. This fixes issue #6.