lint for pepa, @mickep76

I messed up and should not have merged #15967, this fixes the lint in there