Better comments on mgen-lib.js