minor diagnostic output improvement