Fix a tiny bug related to issue #4

No need for a new release here