fix diagnostic output