Fix unexpected sign extension