fix high-level language description