Small change to make things compile properly