added some more declarations