probable fix for #142