Fixing issue #710

Fixing https://github.com/kframework/k/issues/710

@dwightguth please review