Correct sentence
Merge branch 'master' into while_loop_variant