Added missing contract attribute