Minor stylistic fix in SimplifyCFG (test commit)