Many thanks for coming back to me. My colleague ended up clearing his local browser cache and it then worked. This may help if anyone else gets this error in the future.