Fix one last small warning that slipped through the cracks