Change documentation comments’ style

More of commit 3031c1f6f701172008389cdc54027eb1ef30db83.