fixing issue 738

fixed https://github.com/kframework/k/issues/738
right okay fine so toString I kind of get. But what's this?