Gentlemen, no idea whether it helps in this case, but quite often, emptying the browser cache, or forcing a complete reload of the site (Windows: ctrl + F5, Mac/Apple: Apple + R or command + R,
Linux: F5, YMMV) will improve matters after changes have been made server-side.