A 70-year-old man on long-term warfarin for atrial fibrillation has a routine INR check. His target INR is 2.0-3.0. Today, his INR is 5.5, but he has no signs of bleeding. According to NICE guidelines (or common practice reflecting them), what is the most appropriate management?