updates to fix Rabin