Minor updates to pmid manager.