[MODULE] Fixing missing header file.