fix bug #238