Fix in theory documentation