Fix Radu's changes made by mistake.