Made tiny change. 

Something about diamond inference.