diff --git a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
index 0fd23dde06d..af7c0aa74ea 100644
--- a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
+++ b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
@@ -293,7 +293,11 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
             assert annotationClass != null;
 
             if (!excludedAnnotationClasses.contains(DescriptorUtils.getFQName(annotationClass).toSafe())) {
-                builder.append(renderType(annotation.getType())).append(" ");
+                builder.append(renderType(annotation.getType()));
+                if (verbose) {
+                    builder.append("(").append(StringUtil.join(DescriptorUtils.getSortedValueArguments(annotation), ", ")).append(")");
+                }
+                builder.append(" ");
             }
         }
     }