Fix malformed doc comment and regen docs