Add missing decl in header; [Coke]++ for reporting