sign-extension corrections (from donn@utah-cs)