Sync with PGF