Typos in the universal property of the family of fibers of a map (#971)

Typos in the universal property of the family of fibers of a map (#971) #410