(compiler): slightly improve printing.