Fix issue #769.