This fixes the bug.