Some renames performed in Player.h