some housekeeping for javascript variables that were unused