bugfix in KBP output print