genskel: fix bug in namings