fix issue #423