Fix usage of exit().  Closes #16.