test and fix for #7