Fix wrong decoding of short int

For issue 88