Fix two bugs in mctx.gui.js ++