fixing issue 738

fixed https://github.com/kframework/k/issues/738
I don't understand how the changes to these three files relate to the change that fixes this issue.