bugfix: we did not check the alphabet length in directive "set_base_alphabet". this is a follow-up fix for commit 43c30395 (#20).