Fix issue #750