oops, forgot minus sign in dump_mop