PGAL check in 6/11