Feature #1797: Update states-simple.dot