add missing header from previous commit