Remove the suggestion to not duplicate comments in header and