check-ignore: correct documentation about output