Minor touchups to documentation and warnings