diff --git a/plugins/sudoers/timestamp.c b/plugins/sudoers/timestamp.c
index 72ed61801..15dc49b39 100644
--- a/plugins/sudoers/timestamp.c
+++ b/plugins/sudoers/timestamp.c
@@ -945,7 +945,7 @@ bool
 timestamp_update(void *vcookie, struct passwd *pw)
 {
     struct ts_cookie *cookie = vcookie;
-    int ret = false;
+    bool ret = false;
     debug_decl(timestamp_update, SUDOERS_DEBUG_AUTH);
 
     /* Zero timeout means don't use time stamp files. */
@@ -992,7 +992,7 @@ timestamp_update(void *vcookie, struct passwd *pw)
 	ret = true;
 
 done:
-    debug_return_int(ret);
+    debug_return_bool(ret);
 }
 
 /*