This fixes the issue #3