fix bug #155