JavaDoc: choose between "checksum" and "check digits" more carefully.