reencrypt: More concise hack.