Update documentation in a couple of places.