Correction to recent change to Hardware Innovation header