Fix issue #95.