--- a/thys/Matrix/MatrixCarrier.thy
+++ b/thys/Matrix/MatrixCarrier.thy
@@ -5,7 +5,7 @@
 *)
 
 (*
-Copyright 2010 Christian Sternagel, RenĂŠ Thiemann
+Copyright 2010 Christian Sternagel, Rene Thiemann
 
 This file is part of IsaFoR/CeTA.
 
@@ -24,7 +24,7 @@
 
 header {* Matrix Carrier *}
 
-theory MatrixCarrier imports Matrix Rational
+theory MatrixCarrier imports Matrix Rat
 begin
 
 text {*