Fix issue #284.