Fix issue #261.