Fix missing header.