minor touch up of docs (rude-awakening bot)