diff --git a/compiler/frontend.java/src/org/jetbrains/kotlin/load/java/sam/SingleAbstractMethodUtils.kt b/compiler/frontend.java/src/org/jetbrains/kotlin/load/java/sam/SingleAbstractMethodUtils.kt
index 4d394fc69ad..7d1d8c00a49 100644
--- a/compiler/frontend.java/src/org/jetbrains/kotlin/load/java/sam/SingleAbstractMethodUtils.kt
+++ b/compiler/frontend.java/src/org/jetbrains/kotlin/load/java/sam/SingleAbstractMethodUtils.kt
@@ -30,7 +30,7 @@ import org.jetbrains.kotlin.utils.addToStdlib.check
 //   then use this upper bound instead of star projection
 // - Otherwise no non-projection parametrization exists for such 'samType'
 //
-// See Non-wildcard parametrization in §9.9 of JLS 8 for clarification
+// See Non-wildcard parametrization in JLS 8 p.9.9 for clarification
 internal fun nonProjectionParametrization(samType: KotlinType): KotlinType? {
     if (samType.arguments.none { it.projectionKind != Variance.INVARIANT }) return samType
     val parameters = samType.constructor.parameters
diff --git a/core/descriptors/src/org/jetbrains/kotlin/descriptors/Visibilities.java b/core/descriptors/src/org/jetbrains/kotlin/descriptors/Visibilities.java
index c9668e84d2f..8527dad174c 100644
--- a/core/descriptors/src/org/jetbrains/kotlin/descriptors/Visibilities.java
+++ b/core/descriptors/src/org/jetbrains/kotlin/descriptors/Visibilities.java
@@ -139,7 +139,7 @@ public class Visibilities {
                 if (companionOwner != null && DescriptorUtils.isSubclass(fromClass, companionOwner)) return true;
             }
 
-            // The rest part of method checks visibility similarly to Java does for protected (see JLS §6.6.2)
+            // The rest part of method checks visibility similarly to Java does for protected (see JLS p.6.6.2)
 
             // Protected fake overrides can have only one protected overridden (as protected is not allowed for interface members)
             DeclarationDescriptorWithVisibility whatDeclaration = DescriptorUtils.unwrapFakeOverrideToAnyDeclaration(what);
diff --git a/core/descriptors/src/org/jetbrains/kotlin/types/AbstractClassTypeConstructor.java b/core/descriptors/src/org/jetbrains/kotlin/types/AbstractClassTypeConstructor.java
index 674f053e503..e67b65e247f 100644
--- a/core/descriptors/src/org/jetbrains/kotlin/types/AbstractClassTypeConstructor.java
+++ b/core/descriptors/src/org/jetbrains/kotlin/types/AbstractClassTypeConstructor.java
@@ -99,7 +99,7 @@ public abstract class AbstractClassTypeConstructor extends AbstractTypeConstruct
     @Override
     protected Collection<KotlinType> getAdditionalNeighboursInSupertypeGraph() {
         // We suppose that there is an edge from C to A in graph when disconnecting loops in supertypes,
-        // because such cyclic declarations should be prohibited (see §10.2.1 of Kotlin spec)
+        // because such cyclic declarations should be prohibited (see p.10.2.1 of Kotlin spec)
         // class A : B {
         //   static class C {}
         // }