index.org: update ";"