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