Should these comments be translated?