Slightly updated documentation and changed a message call

I actually only wanted to file a pull request for 3761318, but github wants to send all current commits...