Additional file for recent javascript fix