Minor tweak, no forward progress