a few last minute documentation changes