I just started two perudo boards without using the -inorder option. Neither one of them randomized. Is this a bug, or documentation that needs updating?