If he unticked it recently, is he still using the same query window?  He needs to open a new one for the change to take effect.  If that doesn't work, has he restarted SSMS? 

John