It depends on what version he played, cause this was fixed in a later test release of the update. So if he played the test versions of the update, that was probably it.
