This doesn't seem to have any effect in practice, but it does make
the code more correct.
Signed-off-by: Martin Storsjö <martin@martin.st>