Fix wrong semantic
Merge pull request #2013 from penibelst/patch-1
Update history to reflect merge of #2013 [ci skip]