A missing header is added.