Fix issue #370.