It wouldn't be in the 2018 instructions because that won't apply until 2019.

It has always been a 'was the deduction able to be used ... if so, the recovery is taxable' type of thing.  So because it wasn't able to be used, it won't be taxable.