*8824* A couple of trivial js linting fixes