Fix issue #365.