Fix bug in GlobalSat decoder