more doxy comment fixes