> Thanks, I reported it to AMS but maybe that was not the right place. > Where should I report the bug?
the ams is as good a place as any, for getting the bug fixed. however, if you'd reported it via the latex bugs system, it would (a) have been immediately forwarded to the ams, and (b) have been there for people to look at and (in principle) realise it doesn't need reporting again. r
