Fixed small bug enumerating players in printGreeting()