small doc/message fixes