small fixes to AMS, USPTO, and RSC