diff --git a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
index fa543285a85..a79e09bc74e 100644
--- a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
+++ b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
@@ -335,6 +335,10 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
             builder.append(lt());
         }
 
+        if (verbose) {
+            builder.append("/*").append(typeParameter.getIndex()).append("*/ ");
+        }
+
         if (typeParameter.isReified()) {
             builder.append(renderKeyword("reified")).append(" ");
         }
@@ -476,6 +480,11 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
         if (topLevel) {
             builder.append(renderKeyword("value-parameter")).append(" ");
         }
+
+        if (verbose) {
+            builder.append("/*").append(valueParameter.getIndex()).append("*/ ");
+        }
+
         renderVariable(valueParameter, builder, topLevel);
         boolean withDefaultValue = debugMode ? valueParameter.declaresDefaultValue() : valueParameter.hasDefaultValue();
         if (withDefaultValue) {