fix issue #518