Possible fix for #11