Proposed bugfix for issue #3 of standardml/cmlib