Fix #1599: generate good trait doc
5 files changed