try Some (Hashtbl.find baseuri_of_inv b)
with Not_found ->
HLog.error ("Skipping dependency of '"^ma^"' over '"^b^"'");
- HLog.error ("Plase include the file defining such baseuri, or fix");
+ HLog.error ("Please include the file defining such baseuri, or fix");
HLog.error ("possibly incorrect verbatim URIs in the .ma file.");
None
in