Update documentation, add minor fixes.