Fixes to state_doc, replacing a replace() with a split().

Fixes to state_doc, replacing a replace() with a split().