Fixed a misformatted piece of docs