sign extension bug fixed