Fix issue #26.