Small bugfix in generation