Fix issue #752