fix for #1507