Update documentation.
Make bug message somewhat more useful.