Update documentation in a couple of places.

In response to a question Timo had yesterday.