Tiny but important Trinity documentation tweak