fix: wrong error for invalid high_addr