* web/ocsigen.txt: fix