diff --git a/libsel4/sel4_arch_include/aarch64/interfaces/sel4arch.xml b/libsel4/sel4_arch_include/aarch64/interfaces/sel4arch.xml
index 412881ce2fa..4690e3d85bd 100644
--- a/libsel4/sel4_arch_include/aarch64/interfaces/sel4arch.xml
+++ b/libsel4/sel4_arch_include/aarch64/interfaces/sel4arch.xml
@@ -255,10 +255,10 @@
             </error>
         </method>
         <method id="ARMVspaceUnmap_Range" name="Unmap_Range"
-            manual_name="Unmap range" manual_label="vspace_unmap_range">
+            manual_name="Unmap Range" manual_label="vspace_unmap_range">
             <brief>
                 Unmap a range within a vspace
-            </brief>>
+            </brief>
             <description>
                  <docref>See <autoref label="ch:vspace"/>.</docref>
             </description>
diff --git a/src/arch/arm/64/kernel/vspace.c b/src/arch/arm/64/kernel/vspace.c
index c58d889a99f..a6b590f3b18 100644
--- a/src/arch/arm/64/kernel/vspace.c
+++ b/src/arch/arm/64/kernel/vspace.c
@@ -1691,7 +1691,7 @@ static exception_t decodeARMVSpaceRootInvocation(word_t invLabel, unsigned int l
                                                  cte_t *cte, cap_t cap, word_t *buffer)
 {
     switch (invLabel) {
-    case ARMVspaceUnmap_Range: 
+    case ARMVspaceUnmap_Range:
     case ARMVspaceRemap_Range: {
         seL4_CPtr start;
         seL4_Uint32 num;
@@ -1701,8 +1701,9 @@ static exception_t decodeARMVSpaceRootInvocation(word_t invLabel, unsigned int l
         lookupCapAndSlot_ret_t lu_ret[MAX_BATCH];
 
         /* Check that the correct number of arguments was passed in */
-        if ((invLabel == ARMVspaceRemap_Range && length < 3) || (invLabel == ARMVspaceUnmap_Range && length < 2)) { 
-            userError("VSpaceRoot Range Operation: Truncated message. Expected %d args, recieved %d args", (invLabel == ARMVspaceRemap_Range) ? 3 : 2, length);
+        if ((invLabel == ARMVspaceRemap_Range && length < 3) || (invLabel == ARMVspaceUnmap_Range && length < 2)) {
+            userError("VSpaceRoot Range Operation: Truncated message. Expected %d args, recieved %d args",
+                      (invLabel == ARMVspaceRemap_Range) ? 3 : 2, length);
             current_syscall_error.type = seL4_TruncatedMessage;
             return EXCEPTION_SYSCALL_ERROR;
         }