Minor style hot fix after #2711

I had planned to fix this when I merged it but I forgot to.