some edits to Proclus for verification and fixing bad named entities