Forgotten in bf1337f99c66ac574c6e4da65c305ca878f1d65d. Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>