Add missing header from previous commit.