Fix use of interpreted data types in @docheader