Docs slightly updated.