Noted that the traceur options listed are the default values