Try to fix an obscure bug.