BUG: header file wasn't update, now it is