fix bug #35