fix bug #80