Add missing doc in header.