Feature #1797: Update states-complete.dot
(cherry picked from commit dbd1aabe8c2eea47c84626898b99e02788803b75)