diff --git a/src/hammer.h b/src/hammer.h
index 716ab6d01aad890217e6c5583186bc8773aeff70..c974e1fd4acacf1dbbdba89d96666a77fb8742a4 100644
--- a/src/hammer.h
+++ b/src/hammer.h
@@ -675,7 +675,7 @@ HAMMER_FN_DECL(HParser*, h_get_value, const char* name);
  * Sequencing where later parsers may depend on the result(s) of earlier ones.
  *
  * Run p and call the result x. Then run k(env,x).  Fail if p fails or if
- * k(env,x) fails.
+ * k(env,x) fails or if k(env,x) is NULL.
  *
  * Result: the result of k(x,env).
  */
diff --git a/src/parsers/bind.c b/src/parsers/bind.c
index ccbf6da8cd5aa067fd6413e67e320bab8e92a49a..de0a8ec6374fd2cb32110360d42f77f6a57bebea 100644
--- a/src/parsers/bind.c
+++ b/src/parsers/bind.c
@@ -14,6 +14,9 @@ static HParseResult *parse_bind(void *be_, HParseState *state) {
         return NULL;
 
     HParser *kx = be->k(res->ast, be->env);
+    if(!kx)
+        return NULL;
+
     return h_do_parse(kx, state);
 }
 
diff --git a/src/t_parser.c b/src/t_parser.c
index 25495e34194b785cd3d713344e026aa4f0c4d2fc..c16e3840c4d9dced0b63c820f331eda2f50bd429 100644
--- a/src/t_parser.c
+++ b/src/t_parser.c
@@ -569,18 +569,23 @@ static void test_permutation(gconstpointer backend) {
 }
 
 static HParser *f_test_bind(const HParsedToken *p, void *env) {
-	uint8_t one = (uintptr_t)env;
-	
-	assert(p);
-	assert(p->token_type == TT_SEQUENCE);
-
-	int v=0;
-	for(size_t i=0; i<p->seq->used; i++) {
-		assert(p->seq->elements[i]->token_type == TT_UINT);
-		v = v*10 + p->seq->elements[i]->uint - '0';
-	}
+  uint8_t one = (uintptr_t)env;
+  
+  assert(p);
+  assert(p->token_type == TT_SEQUENCE);
+
+  int v=0;
+  for(size_t i=0; i<p->seq->used; i++) {
+    assert(p->seq->elements[i]->token_type == TT_UINT);
+    v = v*10 + p->seq->elements[i]->uint - '0';
+  }
 
-	return h_ch(one - 1 + v);
+  if(v > 26)
+    return h_nothing_p();	// fail
+  else if(v > 127)
+    return NULL;		// equivalent to the above
+  else
+    return h_ch(one - 1 + v);
 }
 static void test_bind(gconstpointer backend) {
   HParserBackend be = (HParserBackend)GPOINTER_TO_INT(backend);
@@ -594,6 +599,8 @@ static void test_bind(gconstpointer backend) {
   g_check_parse_failed(p, be, "1x", 2);
   g_check_parse_failed(p, be, "29y", 3);
   g_check_parse_failed(p, be, "@", 1);
+  g_check_parse_failed(p, be, "27{", 3);
+  g_check_parse_failed(p, be, "272{", 4);
 }
 
 void register_parser_tests(void) {