make sure that PG sequence is up-to-date