fix for #13