A stupid bug was fixed