Oh, so I was looking at the wrong file. Embarassing :)