diff --git a/pkg/compiler/doc/pragmas.md b/pkg/compiler/doc/pragmas.md
index 8e7953ee549..dcef7951315 100644
--- a/pkg/compiler/doc/pragmas.md
+++ b/pkg/compiler/doc/pragmas.md
@@ -93,7 +93,7 @@ evolving capabilities of the compiler.
 ```
 
 ```dart
-@pragma('dart2js:prefer-inline) // Alias for the above annotation.
+@pragma('dart2js:prefer-inline') // Alias for the above annotation.
 ```
 
 This annotation may be placed on a function or method.
@@ -109,7 +109,7 @@ candidate.
 ```
 
 ```dart
-@pragma('dart2js:never-inline) // Alias for the above annotation.
+@pragma('dart2js:never-inline') // Alias for the above annotation.
 ```
 
 This annotation may be placed on a function or method to prevent the function
@@ -224,7 +224,7 @@ variables, static variables, and top-level variables.
 
 ```dart
 @pragma('dart2js:load-priority:normal')
-@pragma('dart2js:load-priority:high)
+@pragma('dart2js:load-priority:high')
 ```
 
 By default, a call to `prefix.loadLibrary()` loads the library with 'normal'