Potential fix for #20