bugfix to generate-names.pl