Fix issue #13.