debug issue #372