This information is already printed by flushDeletes. No need to do it twice.