BugFix: sign extension code erroniously overwrites upper bits