Minor, but no need to say "Returns" here.  Also, I think this should be `@returns`, but all of our code is inconsistent, see #1091 (P.S. that's low hanging fruit).