Tiny doc/error message fixes