FIX: issue #527 (HALT QUITs console)