Fixed a few bugs, to_prs missing, Counter32Max missing, copyrights missing, etc.