Fixed #1266 (we won't need a --players command line option anyway).