diff --git a/tools/github_webhook_processor.php b/tools/github_webhook_processor.php
index a6800e8095e..06a3b2ae2dc 100644
--- a/tools/github_webhook_processor.php
+++ b/tools/github_webhook_processor.php
@@ -255,10 +255,11 @@ function checkchangelog($payload, $merge = false, $compile = true) {
 			$incltag = true;
 			$foundcltag = true;
 			$pos = strpos($line, " ");
-			if ($pos)
+			if ($pos) {
 				$tmp = substr($line, $pos+1);
 				if (trim($tmp) != 'optional name here')
 					$username = $tmp;
+			}
 			continue;
 		} else if (substr($line,0,5) == '/:cl:' || substr($line,0,6) == '/ :cl:' || substr($line,0,5) == ':/cl:' || substr($line,0,5) == '/🆑' || substr($line,0,6) == '/ 🆑' ) {
 			$incltag = false;