This method (`Alarm#refresh`) is unused--let's delete it!