add missing header and (c)