formal housing credit