minor output corrections