change the output format to HTML; get the args of differ