Get the docs up-to-date; fixes #60