Minor fix to informative output