Fix for #3.