Gerry Horkan (Fianna Fail) | Oireachtas source

I notice on Twitter that Deputy Éamon Ó Cuív has raised the issue that the name of the country is the Republic of Ireland as opposed to Ireland. Is that an oversight or is there a particular reason the Republic of Ireland is being used rather than the official name of the State, which is Ireland, because I would have thought that would have been the preference?