Fix typo in Theory