fix issue #432