fix bug #78