fix bug #54