diff --git a/build.xml b/build.xml
index b422831d..ff5b0894 100644
--- a/build.xml
+++ b/build.xml
@@ -838,7 +838,7 @@
         <id>jetbrains.mps.typechecking</id>
         <name>Typechecking with Constraint Rules</name>
         <description>Experimental support for type checking with constraint rules</description>
-        <version>0.2</version>
+        <version>0.2-b17</version>
         <vendor url="jetbrains.com/mps">JetBrains s.r.o.</vendor>
         
         <extensions defaultExtensionNs="com.intellij">
diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
index 6fef4f98..08d108a9 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps
@@ -178,7 +178,7 @@
       </node>
       <node concept="3_J27D" id="7BVjoXzUx6a" role="m$_w8">
         <node concept="3Mxwew" id="7BVjoXzUx6l" role="3MwsjC">
-          <property role="3MwjfP" value="0.2" />
+          <property role="3MwjfP" value="0.2-b17" />
         </node>
       </node>
       <node concept="3_J27D" id="3AC_dXTSEnT" role="3s6cr7">