- fixed a bug that broke the edit function for definition and comment
- need to do testing with theorem