Doc: better output