Tighten exception handler contract.
Update README.