fix issue #372