Fix issue #10.