Incorrect formatting of docstrings

[chtenb]

I read this in the source code:

// Return a strong random integer in the range [-2^^31^^, 2^^31^^).
pub fun srandom-int() : ndet int
  srandom-int32().int

But this in the docs:

fun srandom-int(): ndet int
Return a strong random integer in the range [-2^31, 231^).