make sure we exit - fixes #256