fix for #372