nomnoml: bugfixes