Duplicate Image IDs

I use WordPress’ image upload and management interface regularly. Recently I created a single “badge” image that I’ve been inserting into certain posts.

The other day, I discovered that my pages weren’t validating. The problem is a non-unique ID attribute on some image tags. WordPress automatically applies this attribute to my image tags, but if I use the same image more than once it doesn’t assign a different id. So my code ends up having something like `<img src=”…” id=”image001″ /> more than once.

This strikes me as a bug. Is there a fix for it? If not, is there an “official” venue where this can be reported?