tiny cleanup in Player class