correction to syntax due to https://github.com/spechub/Hets/issues/1366