Fixed a mistake in the regex for HAL