Scripts/HoR: small cleanup