Archives: fix leaky roof