working around a bug in mjs