Make the migration doc pg-compatible