properly ; terminate some JS