Correct semantic bump