Fix wrong fix in 4bf6664