Write documentation as if the reader is smart and in a hurry. Docs like this line don't add any information, so you should just omit it. (That way the signal-to-noise ratio in the docs stays high; and readers aren't trained to skip the documentation.)