Bugfix: Missing '}'; for monoid.js