another fix in rc4