fix bug #47