Blind fix attempt for #511
I can only guess what the problem is.