@jasonsanjose, should this file not be modified in this situation either?