Simple doc fixes