[clircle]

Never heard of a mathematical error called a bug before

[hanche]

Me neither, but it makes sense to me in the case of an error that is relatively easily corrected. If a proof is fatally flawed, however, I would not use that term.