They appear to be two different versions, and so should only be downloadable onto the platform he bought the version for. As has been said the game should be downloadable onto all Sony platforms, so if the PS3 is plugged in the problem may already have taken care of itself.