diff --git a/prusti-interface/src/prusti_error.rs b/prusti-interface/src/prusti_error.rs
index bb0cc96f96c..83f1287184d 100644
--- a/prusti-interface/src/prusti_error.rs
+++ b/prusti-interface/src/prusti_error.rs
@@ -131,10 +131,10 @@ impl PrustiError {
     pub fn internal<S: ToString>(message: S, span: MultiSpan) -> Self {
         check_message(message.to_string());
         let mut error = PrustiError::new(
-            "[Prusti internal error] Prusti encountered an unexpected internal error".to_string(),
+            "[Prusti: internal error] Prusti encountered an unexpected internal error".to_string(),
             span
         ).add_note(
-            "We would appreciate a bug report: https://github.com/viperproject/prusti-dev/issues/new",
+            "This is likely to be a bug in Prusti. We would appreciate a bug report: https://github.com/viperproject/prusti-dev/issues/new",
             None
         ).add_note(
             format!("Details: {}", message.to_string()),