diff --git a/main/main.c b/main/main.c
index 6ccacb233ec..fc6be42a633 100644
--- a/main/main.c
+++ b/main/main.c
@@ -416,6 +416,7 @@ PHPAPI void php_verror(const char *docref, const char *params, int type, const c
 						efree(docref_buf);
 					}
 					docref_buf = ref;
+					docref = docref_buf;
 					p = strrchr(ref, '#');
 					if (p) {
 						target = estrdup(p);
diff --git a/main/php.h b/main/php.h
index e4c6d86d42a..4a01faaabfd 100644
--- a/main/php.h
+++ b/main/php.h
@@ -255,6 +255,8 @@ int cfgparse(void);
 
 #define php_error zend_error
 
+PHPAPI void php_verror(const char *docref, const char *params, int type, const char *format, va_list args TSRMLS_DC) ;
+
 /* PHPAPI void php_error(int type, const char *format, ...); */
 PHPAPI void php_error_docref0(const char *docref TSRMLS_DC, int type, const char *format, ...);
 PHPAPI void php_error_docref1(const char *docref TSRMLS_DC, const char *param1, int type, const char *format, ...);