Two comment fixes in gdbtypes.h