Fix issue #289.