Tiny improvements of server output