Another possible (and more likely correct) fix for #339