Fix for duplicate include