Made the code compile with the forthcoming ISE 7.2.
It still compiles with 7.0 and 7.1.