Fix doc formatting issue, thanks @dyer