I don't think this is necessary any more, since it is declared in index.psp