bugfix in alphabet symbol count