Tentative fix for incomprehensible bug