Added workaround for ISE bug.