Fixed a case-mismatch error that seems to affect ISE 14.2 but not 14.4

Change-Id: Ib4589d4a1f384739803ff45cc0eae79935546e65