Weird. Git didn't notice that this file has changed...