That should fix issue #61.