Fixed #967: Command line description of --hpx:queuing seems wrong