Fix issue #55.