Fix for #1 reported on github.