Port a few little documentation fixes