fix issue #238