a fix for #13