Resolve issue caused by old code served under new SHA: Fixes #3010

This is the same fix as applied in 1e2647f14afacc8e1122615d17e5222128942d9c