Formatting, fixing some implementations in PGL