This is cultural information added by the Hebrew author. It can be moved to the end of verse 11.
"Seer is the old name for what we call a prophet today"