Add @return for Alphabet.getLength().