diff --git a/stand/efi/loader/main.c b/stand/efi/loader/main.c
index d108bc01bbd..b6b592275b2 100644
--- a/stand/efi/loader/main.c
+++ b/stand/efi/loader/main.c
@@ -422,7 +422,7 @@ match_boot_info(EFI_LOADED_IMAGE *img __unused, char *boot_info, size_t bisz)
 	free(kernel);
 	text = efi_devpath_name(last_dp);
 	if (text) {
-		printf("Using Boot$04x %S + %s\n", boot_current, text,
+		printf("Using Boot%04x %S + %s\n", boot_current, text,
 		    kernel);
 		efi_free_devpath_name(text);
 	}