Add a missing contract