Fixed a typo in theory documentation.