fix theorem title bug