Fixed a warning in OS.oz.
Fixed the format of failure exceptions.
Fixed a bug in sendMsg.