diff --git a/C/exec.c b/C/exec.c
index 0a6c60726..b1072cd39 100644
--- a/C/exec.c
+++ b/C/exec.c
@@ -984,7 +984,7 @@ exec_absmi(int top USES_REGS)
       break;
     case 3:
       { /* saved state */
-	return(FALSE);
+	return FALSE;
       }
     default:
       /* do nothing */