fix DOT usage
more js printing
add testcase outputs