index.org: add "<"