Fix mistake in the last commit

Error detected by the tests.

Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>