[doc] fix type in agplv3+ headers