Docs -- further tweaking of exception explanation and code.