fix issue #242