Fix issue #60.