Fix globalsat decoder (fix #397)