Checkout
rjung
committed
on 09 Apr 15
Followon to r1671396:
Remove unwanted redundant output introduced
by that commit.