diff --git a/syntax/src/main/java/org/aya/syntax/core/def/AnyDef.java b/syntax/src/main/java/org/aya/syntax/core/def/AnyDef.java
index bd8a95141e..71b1e3d592 100644
--- a/syntax/src/main/java/org/aya/syntax/core/def/AnyDef.java
+++ b/syntax/src/main/java/org/aya/syntax/core/def/AnyDef.java
@@ -21,7 +21,7 @@
  *     v                    v                   v                  v
  *   ConDef  <- - -  ConDef.Delegate <----- ConDefLike ----->    JitCon
  * </pre>
- * where the arrows indicate mean "is superclass of".<br/>
+ * where the arrows mean "is superclass of".<br/>
  * <ul>
  *   <li>The first chain is "core def" chain, which are well-typed definition</li>
  *   <li>The second chain is "local def" chain, which may refer to a not yet tycked definition, i.e. tyck a recursive function</li>
diff --git a/syntax/src/main/java/org/aya/syntax/core/def/ClassDefLike.java b/syntax/src/main/java/org/aya/syntax/core/def/ClassDefLike.java
index 738b819a04..b084ba791c 100644
--- a/syntax/src/main/java/org/aya/syntax/core/def/ClassDefLike.java
+++ b/syntax/src/main/java/org/aya/syntax/core/def/ClassDefLike.java
@@ -15,7 +15,7 @@ public sealed interface ClassDefLike extends AnyDef permits JitClass, ClassDef.D
 
   default @NotNull Term telescope(int i, @NotNull Seq<Term> restriction) {
     var member = members().get(i);
-    // Our code should not refer the subterm of self, the only meaningful part is [self.forget()]
+    // Our code should not refer the subterm of [self], the only meaningful part is [self.forget()]
     // Also, we don't use NewTerm, cause the type of the self-parameter is a class call without any restriction.
     var self = new ClassCastTerm(this, ErrorTerm.DUMMY, ImmutableSeq.empty(),
       restriction.map(Closure::mkConst)
diff --git a/syntax/src/main/java/org/aya/syntax/core/def/MemberDefLike.java b/syntax/src/main/java/org/aya/syntax/core/def/MemberDefLike.java
index f5ec6e27f3..35c6bce81c 100644
--- a/syntax/src/main/java/org/aya/syntax/core/def/MemberDefLike.java
+++ b/syntax/src/main/java/org/aya/syntax/core/def/MemberDefLike.java
@@ -8,6 +8,10 @@
 
 public sealed interface MemberDefLike extends AnyDef permits JitMember, MemberDef.Delegate {
   @NotNull ClassDefLike classRef();
+
+  /**
+   * The type of the type of this member, not include self-parameter
+   */
   @NotNull SortTerm type();
 
   int index();