This seemed to be an obvious addition while working on #8433.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>