Yea, you're right; the github diff interface just isn't highlighting it for me