This fixes the bug exposed by the previous commit. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>