Erase semicolons following commands

Thus, allow commands to be terminated without inserting and then manually
deleting a non-word character.

1 files changed, 1 insertions, 0 deletions

diff --git a/page.js b/page.js
index e74cb35..7546de7 100644
--- a/page.js
+++ b/page.js
@@ -154,6 +154,7 @@
         return { end: nameStart + 2, success: true };
       else return { end: nameStart + 1, success: false };
       const name = input.value.slice(nameStart, nameEnd);
+      if (input.value[nameEnd] === ";") nameEnd++;
 
       const argsCount = {
         "\\x": 0,