fix bug #36