0025: fix bug #4