probable fix for #138