Update documentation (a bit).