Fix issue #11.