Fix up long names of president and deputy in the senate