Added missing header file from earlier commit.