Not really a big difference. Maybe things should be consistent, but I noticed several other docstrings have invalid formatting anyway, and we're not actually rendering any docs ever (I'd be surprised if the output would be any good).