Minor change in BlockDutchFlag class.