diff --git a/checkpolicy/policy_parse.y b/checkpolicy/policy_parse.y
index a32e1703..8274d36c 100644
--- a/checkpolicy/policy_parse.y
+++ b/checkpolicy/policy_parse.y
@@ -773,6 +773,8 @@ module_def              : MODULE identifier version_identifier ';'
                         { if (define_policy(pass, 1) == -1) return -1; }
                         ;
 version_identifier      : VERSION_IDENTIFIER
+                        { if (insert_id(yytext,0)) return -1; }
+			| number
                         { if (insert_id(yytext,0)) return -1; }
                         | ipv4_addr_def /* version can look like ipv4 address */
                         ;