Docs updated with (very) minor changes.