En teoria fixed the bug