exit() replaced by return().  Fixes #11.