fix bug #41