Does anyone know if the additional tax credit was included in our refund or did we need to file for that separately?