Fix for #254