fixed some syntax issues, see https://github.com/spechub/Hets/issues/1366