When referring to another poster, it is common politeness here on Free Republic to ping that person.
But....I know that since you are a professional teacher this was just an oversight. As a professional you would never talk about a student behind his back without his permission and that of his parents. Government teachers would never do that.
You might consider asking her in private, of course the more astute of us already know the answer. Do you consider yourself astute?