slightly different readme format; more robust state initialization