added info about correct_exit