The problem was an out of date cache. If he'd just hit F5 (or Ctrl+F5) to refresh it, the page would have updated.