Fix forgotten line from the previous change

Sorry, I forgot this one yesterday...