Improve semantics

Good catch on the change of semantics I had original erroneously introduced here while trying to get rid of the compiler warning that we cannot do anything about.

I think this would be the best way to express the correct semantics.

Was it intentional to leave my original change as a comment?