bugfix in specification writer