fix a bug in dummy-dis2.c