minor change to Jago program translator