Bug is actually fixed this time.