Fix @sanjay900's boo boo causing CI failures

Fixed compilation