index.org: add ";"