[backend] Fix contract.
Merge branch 'staging' of https://github.com/cs136/seashell into staging