Some changes to Poliscope and Corefiling sections, other minor fixes