Fix use-after-move bug.
Update documentation.