doco tweaks for @Builder