fix for #11