Fix another little tricky bug.

Catch another sign-extension bug; same as last commit.