When that translation was made, father was not considered formal. Words like papa weren't in use and dad was considered baby talk.

Any formalness ascribed is due solely to changes in the vernacular.