Se later note. They should be removed, as they are no longer required by the interface. I fix.