Update documentation. Fix style issues.