Indeed! This was no small matter. Saint Nicholas (yeah, that St. Nicholas) actually went so far as to punch Nestorius for claiming that Mary was merely the Christotokos. These guys weren't kidding around.
I always heard it was Arius that St. Nicholas slapped, at the 1st Council.
Regardless, you are absolutely right that these guys were deadly serious -- they were not sitting around smoking cigars and agreeing with each other out of politeness.