Fix little bugs in dummy.c