Fix doc comment formatting