It's standard procedure in academia---in CS, at the very least---to notify the people you're correcting in advance. This ensures that they (a) know about the problem, (b) are aware of your efforts and can comment directly to you, and (c) can participate in the discussion that ensues when you publish.