2003-10-28: fixed a bug which prevented special methods from having
            contracts