diff --git a/bower.json b/bower.json
index eb0d4422a..42a272a66 100644
--- a/bower.json
+++ b/bower.json
@@ -1,6 +1,6 @@
 {
   "name": "pdfjs-dist",
-  "version": "1.1.307",
+  "version": "1.1.309",
   "main": [
     "build/pdf.js",
     "build/pdf.worker.js"
diff --git a/build/pdf.combined.js b/build/pdf.combined.js
index 207cc4088..bd0232dca 100644
--- a/build/pdf.combined.js
+++ b/build/pdf.combined.js
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.1.307';
-PDFJS.build = '6dfe19d';
+PDFJS.version = '1.1.309';
+PDFJS.build = '4b6e272';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
@@ -37488,6 +37488,11 @@ var Lexer = (function LexerClosure() {
       if (ch === 0x2D) { // '-'
         sign = -1;
         ch = this.nextChar();
+
+        if (ch === 0x2D) { // '-'
+          // Ignore double negative (this is consistent with Adobe Reader).
+          ch = this.nextChar();
+        }
       } else if (ch === 0x2B) { // '+'
         ch = this.nextChar();
       }
diff --git a/build/pdf.js b/build/pdf.js
index 97d6b5b00..0a1df5424 100644
--- a/build/pdf.js
+++ b/build/pdf.js
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.1.307';
-PDFJS.build = '6dfe19d';
+PDFJS.version = '1.1.309';
+PDFJS.build = '4b6e272';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
diff --git a/build/pdf.worker.js b/build/pdf.worker.js
index c65e34483..7592acd00 100644
--- a/build/pdf.worker.js
+++ b/build/pdf.worker.js
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.1.307';
-PDFJS.build = '6dfe19d';
+PDFJS.version = '1.1.309';
+PDFJS.build = '4b6e272';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
@@ -31084,6 +31084,11 @@ var Lexer = (function LexerClosure() {
       if (ch === 0x2D) { // '-'
         sign = -1;
         ch = this.nextChar();
+
+        if (ch === 0x2D) { // '-'
+          // Ignore double negative (this is consistent with Adobe Reader).
+          ch = this.nextChar();
+        }
       } else if (ch === 0x2B) { // '+'
         ch = this.nextChar();
       }
diff --git a/package.json b/package.json
index b3ee059e9..e499a450c 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "pdfjs-dist",
-  "version": "1.1.307",
+  "version": "1.1.309",
   "description": "Generic build of Mozilla's PDF.js library.",
   "keywords": [
     "Mozilla",