Update docs (fix #130).