somebody forgot to call exit()