Added get_players to the library and fixed a mistake in a comment