diff --git a/editor/display.c++ b/editor/display.c++
index cafd7c95..da0a07d6 100644
--- a/editor/display.c++
+++ b/editor/display.c++
@@ -261,7 +261,7 @@ void render_editor(struct editor* editor, struct terminal_state* state)
 	if ( editor->mode == MODE_SAVE )
 		msg = "File Name to Write: ";
 	if ( editor->mode == MODE_LOAD )
-		msg = "File Name to Read: ";;
+		msg = "File Name to Read: ";
 	if ( editor->mode == MODE_ASK_QUIT )
 		msg = "Exit without saving changes? (Y/N): ";
 	if ( editor->mode == MODE_GOTO_LINE )
diff --git a/libc/include/msr.h b/libc/include/msr.h
index 111263a9..386d13d0 100644
--- a/libc/include/msr.h
+++ b/libc/include/msr.h
@@ -50,7 +50,7 @@ __attribute__((unused))
 static __inline uint64_t wrmsr_instruction(uint32_t msrid, uint64_t value)
 {
 	uint32_t low = value >> 0 & 0xFFFFFFFF;
-	uint32_t high = value >> 32 & 0xFFFFFFFF;;
+	uint32_t high = value >> 32 & 0xFFFFFFFF;
 	__asm__ __volatile__ ("wrmsr" : : "a"(low), "d"(high), "c"(msrid) : "memory");
 	return value;
 }