-alt/error_type_unk_alt5.nit:15,9--12: Type error: class Fail not found in module error_type_unk_alt5.
-alt/error_type_unk_alt5.nit:16,11--14: Type error: class Fail not found in module error_type_unk_alt5.
-alt/error_type_unk_alt5.nit:33,15--18: Type error: class Fail not found in module error_type_unk_alt5.
-alt/error_type_unk_alt5.nit:34,17--20: Type error: class Fail not found in module error_type_unk_alt5.
+alt/error_type_unk_alt5.nit:15,9--12: Error: class `Fail` not found in module `error_type_unk_alt5`.
+alt/error_type_unk_alt5.nit:16,11--14: Error: class `Fail` not found in module `error_type_unk_alt5`.
+alt/error_type_unk_alt5.nit:33,15--18: Error: class `Fail` not found in module `error_type_unk_alt5`.
+alt/error_type_unk_alt5.nit:34,17--20: Error: class `Fail` not found in module `error_type_unk_alt5`.