Fixed up jprint.html