Trivial changes to DumbestBrain.