from exit to exit(), just to be consistent