re-set Radu's minor tweak