Update documentation for recent changes (fix #24)