Small documentation cleaning.