fixing docs (which apparently haven't been built in a while)