Fixes for privacy amplification