small addition to DiSiTT programming language specification